4041. The elements of programming style
پدیدآورنده: / Brian W. Kernighan, P. J. Plauger
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electronic digital computers - Programming
رده :
QA
76
.
6
.
K47
1978
4042. The elements of programming style
پدیدآورنده: / Brian W. Kernigham, P.J. Plauger
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming
رده :
001
.
642
K39
4043. The essence of program design
پدیدآورنده: Bell, Douglas
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming
رده :
QA
76
.
6
.
B4366
1997
4044. The first book of microsoft Excel for the pc
پدیدآورنده: / Christopher Von Buren
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Microsoft excel(computer program),Business - Computer programs,Electronic spreadsheets,IBM personal computer-Programming,IBM-Compatible computers--Programming
رده :
HF
5548
.
4
.
M523V36
1990
4045. The formal semantics of programming languages
پدیدآورنده: / Glynn Winskel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
W555
1993
4046. The hacker crackdown :
پدیدآورنده: Bruce Sterling.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer crimes-- United States.,Computer programming-- Corrupt practices.,Telephone-- Corrupt practices-- United States.,Computer crimes.,Computer programming-- Corrupt practices.,Telephone-- Corrupt practices.,United States., 7
رده :
HV6773
.
S74
1993
4047. The handbook of research on scalable computing technologies /
پدیدآورنده: [edited by] Kuan-Ching Li [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational grids (Computer systems),Parallel processing (Electronic computers),System design.,Ubiquitous computing.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers),System design.,Ubiquitous computing.
رده :
QA76
.
9
.
C58
H356
2010eb
4048. The joy of Clojure
پدیدآورنده: Michael Fogus, Chris Houser
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
73
.
J38
F64
2011
4049. The joy of Kotlin /
پدیدآورنده: Pierre-Yves Saumont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers),Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers)
رده :
QA76
.
62
4050. The language of computers
پدیدآورنده: / Bernard A. Galler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: MAD (Computer program language),Programming languages (Electronic computers)
رده :
001
.
6424M
G166
4051. The language of computers
پدیدآورنده: Galler, Bernard A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، MAD )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
G3
4052. The logic of partial information
پدیدآورنده: Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
4053. The logic of partial information
پدیدآورنده: Areski Nait Abdallah
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
4054. The logic of programming
پدیدآورنده: Hehner, Eric C. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
4055. The logic of programming
پدیدآورنده: Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
4056. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
4057. The logical basis for computer programming
پدیدآورنده: Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
4058. The logical basis for computer programming
پدیدآورنده: Manna, Zohar
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
4059. The logical design of operating systems
پدیدآورنده: / Alan C. Shaw
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Electronic digital computers - Programming,Multiprogramming (Electronic computers)
رده :
QA76
.
6
.
S52
4060. The logical design of operating systems
پدیدآورنده: SHAW,ALAN C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MULTIPROGRAM )ELECTRONIC COMPUTERS(
رده :
QA
76
.
6
.
S52
